Project-Team:PARKAS

Project-Team Parkas

Team, Visitors, External Collaborators

Overall Objectives

Research Program

Programming Languages for Cyber-Physical Systems
Efficient Compilation for Parallel and Distributed Computing
Validation and Proof of Compilers

Highlights of the Year

New Software and Platforms

Cmmtest
GCC
Heptagon
isl
Lem
Lucid Synchrone
Lucy-n
Ott
PPCG
ReactiveML
SundialsML
Zelus

New Results

Verified compilation of Lustre
Julia Subtyping Reconstructed
Comparing Designs for Gradual Types
Fast and reliable unwinding via DWARF tables
Sundials/ML: OCaml interface to Sundials Numeric Solvers
Zélus
Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach
Compiling synchronous languages for multi-processor implementations

Bilateral Contracts and Grants with Industry

Bilateral Contracts with Industry
Bilateral Grants with Industry

Partnerships and Cooperations

National Initiatives
European Initiatives
International Initiatives

Dissemination

Promoting Scientific Activities
Teaching - Supervision - Juries
Popularization

Bibliography

Major publications
Publications of the year
References in notes

Inria | Raweb 2018 | Presentation of the Project-Team PARKAS | PARKAS Web Site


	PDF	e-Pub

Previous |

Home | Next next

Section: Bilateral Contracts and Grants with Industry

Bilateral Contracts with Industry

Polly Labs contract with ARM, 2015-2019, with the participation of Qualcomm, Xilinx and Facebook (human resources, consulting services and and hiring former PARKAS members).

Previous |

Home | Next next